Investigating Miraculous Specifications

نویسنده

  • Sharon Flynn
چکیده

In order to use expressions as the basis of a specification language, we admit undefinedness, and introduce nondeterminism through the use of a choice operator. We extend expressiveness of the language by allowing choice from a set of values. Such a set could be infinite, giving unbounded non-determinism, or it could be empty, producing miracles. In this paper we treat the miraculous specification, examining its uses and highlighting related problems. In particular, we find that miracles promote the possibility of specification in parts, and piecewise refinement. However, their undesirable properties mean that we must limit their use. A biased choice operator is introduced as a method of totalising miraculous expressions. Finally, the formation of miraculous functions is considered with reference to their use and manipulation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Supernatural and the Miraculous

Both intention-based and causation-based definitions of the miraculous make reference to the term ‘supernatural’. Philosophers who define the miraculous appear to use this term in a loose way, perhaps meaning the nonnatural, perhaps meaning a subcategory of the nonnatural. Here I examine the aetiology of the term ‘supernatural’. I consider three outstanding issues regarding the meaning of the t...

متن کامل

Beliefs in Miraculous Healings, Religiosity and Meaning in Life

Throughout centuries, many interpretations of miraculous healings have been offered by philosophers, theologians, physicians and psychologists. Different approaches to miracles originate from the differences in understanding of causative factors, concepts of nature and the relationship between God and nature. Despite many skeptical arguments, a vast majority of people (approximately 70%) in mod...

متن کامل

Investigating the relationship among complexity, range, and strength of grammatical knowledge of EFL students

Assessment  of  grammatical  knowledge  is  a  rather  neglected  area  of  research  in  the  field with  many  open  questions  (Purpura,  2004).  The  present  research  incorporates  recent proposals  about  the  nature  of  grammatical  development  to  create  a  framework  consisting of dimensions of complexity, range and strength, and studies which dimension(s) can best predict the stat...

متن کامل

Investigating Stabilized Excavations Using Soil Nailing Method in Urban Context

There are various methods for stabilizing excavations in urban areas which one of them is the nailing method. Designing a nailing system and analyzing the performance of excavations is done by various software applications. One of these computer programs is PAXIS software which run based on the finite element method (FEM). In the present study, a numerical analysis of the performance of t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998